Philosophical logic - PDFSEARCH.IO - Document Search Engine

Philosophical logic
Results: 2980

#	Item
491	Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic Malvin Gattinger1 and Jan van Eijck2 1 2 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-25 11:31:05 Model theory Philosophical logic Modal logic Interpretation Constructible universe Kripke semantics If and only if Golden ratio Valuation Logic Mathematical logic Mathematics
492	Thinking and Language Abstract: The following theses about the relationship between language and thought can be found in both linguistical studies and analytical philosophy. The common view of modern philosophy tends to Add to Reading List Source URL: www.hyponoesis.org Language: English - Date: 2014-12-15 16:09:58 Thought Epistemology Belief Philosophical logic Theories of truth Reason Truth Idea Logic Philosophy Mind Cognition
493	A Closer Look at Aspect Interference and Cooperation Cynthia Disenfeld Shmuel Katz Department of Computer Science Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-01-24 04:02:45 Aspect-oriented programming Logic in computer science Formal methods Philosophical logic Grammatical aspect Economic model AspectJ Formal verification Modal logic Software development Software Aspect-oriented software development
494	www.mind-consciousness-language.com, (Commentary on Vyvyan Evans’ The Structure of Time Language, meaning and temporal cognition Giorgio Marchetti Add to Reading List Source URL: www.mind-consciousness-language.com Language: English - Date: 2006-10-13 14:50:17 Mind Lexical semantics Philosophical logic Meaning Philosophy of language Word sense Concept Consciousness Semantic memory Linguistics Semantics Cognitive science
495	Elements of Epistemic Crypto Logic (Extended Abstract) Jan van Eijck Malvin Gattinger Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-16 08:58:37 Model theory Modal logic Non-classical logic Kripke semantics Entailment Structure Epistemic modal logic Linear temporal logic Μ operator Logic Mathematical logic Philosophical logic
496	Automated Error Diagnosis Using Abductive Inference ∗ Isil Dillig Thomas Dillig Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2012-03-25 02:32:25 Formal languages Model theory Entailment Static single assignment form Witness Function Modal logic Interpretation Symbol Logic Philosophical logic Mathematical logic
497	Overview of Courses PHILFundamental Issues In PhilosophyIntroduction to critical exploration of such issues as knowledge, reality, consciousness and the good life; readings from Plato, Descartes, Kant, Niet Add to Reading List Source URL: www.memphis.edu Language: English - Date: 2014-08-15 13:21:48 Branches of philosophy Existentialists Idealists Western philosophy Martin Heidegger Political philosophy Pragmatism Logic Continental philosophy Philosophy Philosophical movements American philosophy
498	October 17, Star Service is a tangible difference ... that can only be found in select venues. Hey Ravers! Add to Reading List Source URL: www.ravingconsulting.com Language: English - Date: 2013-10-17 14:40:12 Linguistics Philosophy Philosophical logic 24 Hours E-Prime Is–ought problem
499	A Declarative Semantics for Dedalus Peter Alvaro Tom J. Ameloot Joseph M. Hellerstein William Marczak Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2011-11-29 13:32:09 Computing Logic programming Philosophical logic Datalog Stable model semantics Partition FO Modal logic SQL Mathematics Query languages Logic
500	Appendix 1 KNOWLEDGE: TYPES AND METHODS OF ACQUIRING A 1.1 Introduction Add to Reading List Source URL: worrall.avatar.com.au Language: English - Date: 2014-08-12 13:23:30 Reasoning Epistemology Philosophy of science Philosophical logic Justification Inference Abductive reasoning Scientific method Reason Philosophy Science Knowledge

UPDATE